Optimal. Leaf size=245 \[ \frac{25 x \left (1-7 x^2\right )}{648 \left (x^4+2 x^2+3\right )}+\frac{13}{81 x^3}-\frac{4}{45 x^5}-\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (x^2-\sqrt{2 \left (\sqrt{3}-1\right )} x+\sqrt{3}\right )}{2592}+\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (x^2+\sqrt{2 \left (\sqrt{3}-1\right )} x+\sqrt{3}\right )}{2592}-\frac{13}{27 x}+\frac{\sqrt{\frac{1}{6} \left (688419 \sqrt{3}-1139381\right )} \tan ^{-1}\left (\frac{\sqrt{2 \left (\sqrt{3}-1\right )}-2 x}{\sqrt{2 \left (1+\sqrt{3}\right )}}\right )}{1296}-\frac{\sqrt{\frac{1}{6} \left (688419 \sqrt{3}-1139381\right )} \tan ^{-1}\left (\frac{2 x+\sqrt{2 \left (\sqrt{3}-1\right )}}{\sqrt{2 \left (1+\sqrt{3}\right )}}\right )}{1296} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.328981, antiderivative size = 245, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 7, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.226, Rules used = {1669, 1664, 1169, 634, 618, 204, 628} \[ \frac{25 x \left (1-7 x^2\right )}{648 \left (x^4+2 x^2+3\right )}+\frac{13}{81 x^3}-\frac{4}{45 x^5}-\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (x^2-\sqrt{2 \left (\sqrt{3}-1\right )} x+\sqrt{3}\right )}{2592}+\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (x^2+\sqrt{2 \left (\sqrt{3}-1\right )} x+\sqrt{3}\right )}{2592}-\frac{13}{27 x}+\frac{\sqrt{\frac{1}{6} \left (688419 \sqrt{3}-1139381\right )} \tan ^{-1}\left (\frac{\sqrt{2 \left (\sqrt{3}-1\right )}-2 x}{\sqrt{2 \left (1+\sqrt{3}\right )}}\right )}{1296}-\frac{\sqrt{\frac{1}{6} \left (688419 \sqrt{3}-1139381\right )} \tan ^{-1}\left (\frac{2 x+\sqrt{2 \left (\sqrt{3}-1\right )}}{\sqrt{2 \left (1+\sqrt{3}\right )}}\right )}{1296} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1669
Rule 1664
Rule 1169
Rule 634
Rule 618
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{4+x^2+3 x^4+5 x^6}{x^6 \left (3+2 x^2+x^4\right )^2} \, dx &=\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}+\frac{1}{48} \int \frac{64-\frac{80 x^2}{3}+\frac{400 x^4}{9}+\frac{1550 x^6}{27}-\frac{350 x^8}{27}}{x^6 \left (3+2 x^2+x^4\right )} \, dx\\ &=\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}+\frac{1}{48} \int \left (\frac{64}{3 x^6}-\frac{208}{9 x^4}+\frac{208}{9 x^2}-\frac{2 \left (-463+487 x^2\right )}{27 \left (3+2 x^2+x^4\right )}\right ) \, dx\\ &=-\frac{4}{45 x^5}+\frac{13}{81 x^3}-\frac{13}{27 x}+\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}-\frac{1}{648} \int \frac{-463+487 x^2}{3+2 x^2+x^4} \, dx\\ &=-\frac{4}{45 x^5}+\frac{13}{81 x^3}-\frac{13}{27 x}+\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}-\frac{\int \frac{-463 \sqrt{2 \left (-1+\sqrt{3}\right )}-\left (-463-487 \sqrt{3}\right ) x}{\sqrt{3}-\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2} \, dx}{1296 \sqrt{6 \left (-1+\sqrt{3}\right )}}-\frac{\int \frac{-463 \sqrt{2 \left (-1+\sqrt{3}\right )}+\left (-463-487 \sqrt{3}\right ) x}{\sqrt{3}+\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2} \, dx}{1296 \sqrt{6 \left (-1+\sqrt{3}\right )}}\\ &=-\frac{4}{45 x^5}+\frac{13}{81 x^3}-\frac{13}{27 x}+\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}-\frac{\left (1461-463 \sqrt{3}\right ) \int \frac{1}{\sqrt{3}-\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2} \, dx}{7776}+\frac{\left (-1461+463 \sqrt{3}\right ) \int \frac{1}{\sqrt{3}+\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2} \, dx}{7776}-\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \int \frac{-\sqrt{2 \left (-1+\sqrt{3}\right )}+2 x}{\sqrt{3}-\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2} \, dx}{2592}+\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \int \frac{\sqrt{2 \left (-1+\sqrt{3}\right )}+2 x}{\sqrt{3}+\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2} \, dx}{2592}\\ &=-\frac{4}{45 x^5}+\frac{13}{81 x^3}-\frac{13}{27 x}+\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}-\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (\sqrt{3}-\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2\right )}{2592}+\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (\sqrt{3}+\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2\right )}{2592}+\frac{\left (1461-463 \sqrt{3}\right ) \operatorname{Subst}\left (\int \frac{1}{-2 \left (1+\sqrt{3}\right )-x^2} \, dx,x,\sqrt{2 \left (-1+\sqrt{3}\right )}+2 x\right )}{3888}-\frac{\left (-1461+463 \sqrt{3}\right ) \operatorname{Subst}\left (\int \frac{1}{-2 \left (1+\sqrt{3}\right )-x^2} \, dx,x,-\sqrt{2 \left (-1+\sqrt{3}\right )}+2 x\right )}{3888}\\ &=-\frac{4}{45 x^5}+\frac{13}{81 x^3}-\frac{13}{27 x}+\frac{25 x \left (1-7 x^2\right )}{648 \left (3+2 x^2+x^4\right )}+\frac{\sqrt{\frac{1}{6} \left (-1139381+688419 \sqrt{3}\right )} \tan ^{-1}\left (\frac{\sqrt{2 \left (-1+\sqrt{3}\right )}-2 x}{\sqrt{2 \left (1+\sqrt{3}\right )}}\right )}{1296}-\frac{\sqrt{\frac{1}{6} \left (-1139381+688419 \sqrt{3}\right )} \tan ^{-1}\left (\frac{\sqrt{2 \left (-1+\sqrt{3}\right )}+2 x}{\sqrt{2 \left (1+\sqrt{3}\right )}}\right )}{1296}-\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (\sqrt{3}-\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2\right )}{2592}+\frac{\sqrt{\frac{1}{6} \left (1139381+688419 \sqrt{3}\right )} \log \left (\sqrt{3}+\sqrt{2 \left (-1+\sqrt{3}\right )} x+x^2\right )}{2592}\\ \end{align*}
Mathematica [C] time = 0.303282, size = 140, normalized size = 0.57 \[ \frac{-\frac{4 \left (2435 x^8+2475 x^6+3928 x^4-984 x^2+864\right )}{x^5 \left (x^4+2 x^2+3\right )}-\frac{10 i \left (475 \sqrt{2}-487 i\right ) \tan ^{-1}\left (\frac{x}{\sqrt{1-i \sqrt{2}}}\right )}{\sqrt{1-i \sqrt{2}}}+\frac{10 i \left (475 \sqrt{2}+487 i\right ) \tan ^{-1}\left (\frac{x}{\sqrt{1+i \sqrt{2}}}\right )}{\sqrt{1+i \sqrt{2}}}}{12960} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.023, size = 424, normalized size = 1.7 \begin{align*} -{\frac{1}{27\,{x}^{4}+54\,{x}^{2}+81} \left ({\frac{175\,{x}^{3}}{24}}-{\frac{25\,x}{24}} \right ) }-{\frac{481\,\ln \left ({x}^{2}+\sqrt{3}-x\sqrt{-2+2\,\sqrt{3}} \right ) \sqrt{-2+2\,\sqrt{3}}\sqrt{3}}{7776}}-{\frac{475\,\ln \left ({x}^{2}+\sqrt{3}-x\sqrt{-2+2\,\sqrt{3}} \right ) \sqrt{-2+2\,\sqrt{3}}}{5184}}-{\frac{ \left ( -962+962\,\sqrt{3} \right ) \sqrt{3}}{3888\,\sqrt{2+2\,\sqrt{3}}}\arctan \left ({\frac{2\,x-\sqrt{-2+2\,\sqrt{3}}}{\sqrt{2+2\,\sqrt{3}}}} \right ) }-{\frac{-950+950\,\sqrt{3}}{2592\,\sqrt{2+2\,\sqrt{3}}}\arctan \left ({\frac{2\,x-\sqrt{-2+2\,\sqrt{3}}}{\sqrt{2+2\,\sqrt{3}}}} \right ) }+{\frac{463\,\sqrt{3}}{1944\,\sqrt{2+2\,\sqrt{3}}}\arctan \left ({\frac{2\,x-\sqrt{-2+2\,\sqrt{3}}}{\sqrt{2+2\,\sqrt{3}}}} \right ) }+{\frac{481\,\ln \left ({x}^{2}+\sqrt{3}+x\sqrt{-2+2\,\sqrt{3}} \right ) \sqrt{-2+2\,\sqrt{3}}\sqrt{3}}{7776}}+{\frac{475\,\ln \left ({x}^{2}+\sqrt{3}+x\sqrt{-2+2\,\sqrt{3}} \right ) \sqrt{-2+2\,\sqrt{3}}}{5184}}-{\frac{ \left ( -962+962\,\sqrt{3} \right ) \sqrt{3}}{3888\,\sqrt{2+2\,\sqrt{3}}}\arctan \left ({\frac{2\,x+\sqrt{-2+2\,\sqrt{3}}}{\sqrt{2+2\,\sqrt{3}}}} \right ) }-{\frac{-950+950\,\sqrt{3}}{2592\,\sqrt{2+2\,\sqrt{3}}}\arctan \left ({\frac{2\,x+\sqrt{-2+2\,\sqrt{3}}}{\sqrt{2+2\,\sqrt{3}}}} \right ) }+{\frac{463\,\sqrt{3}}{1944\,\sqrt{2+2\,\sqrt{3}}}\arctan \left ({\frac{2\,x+\sqrt{-2+2\,\sqrt{3}}}{\sqrt{2+2\,\sqrt{3}}}} \right ) }-{\frac{4}{45\,{x}^{5}}}+{\frac{13}{81\,{x}^{3}}}-{\frac{13}{27\,x}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} -\frac{2435 \, x^{8} + 2475 \, x^{6} + 3928 \, x^{4} - 984 \, x^{2} + 864}{3240 \,{\left (x^{9} + 2 \, x^{7} + 3 \, x^{5}\right )}} - \frac{1}{648} \, \int \frac{487 \, x^{2} - 463}{x^{4} + 2 \, x^{2} + 3}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.74124, size = 2392, normalized size = 9.76 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.590268, size = 65, normalized size = 0.27 \begin{align*} \operatorname{RootSum}{\left (20639121408 t^{4} - 2333452288 t^{2} + 72233001, \left ( t \mapsto t \log{\left (- \frac{206821195776 t^{3}}{704195977} + \frac{38757503008 t}{2112587931} + x \right )} \right )\right )} - \frac{2435 x^{8} + 2475 x^{6} + 3928 x^{4} - 984 x^{2} + 864}{3240 x^{9} + 6480 x^{7} + 9720 x^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{5 \, x^{6} + 3 \, x^{4} + x^{2} + 4}{{\left (x^{4} + 2 \, x^{2} + 3\right )}^{2} x^{6}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]